data (IsString s) => T s = T

data
  (IsString s) =>
  T s = T

data
  ( IsString s,
    IsString s
  ) =>
  T s = T
